Concurrent algorithm

Results: 314



#Item
31Computing / Concurrent computing / Parallel computing / GPGPU / Computer architecture / Graphics hardware / Video cards / CUDA / Video game hardware / General-purpose computing on graphics processing units / Graphics processing unit / OpenCL

TEM Journal–159 CUDA Based Speed Optimization of the PCA Algorithm Salih Görgünoğlu 1, Kadriye Öz 2, Abdullah Çavuşoğlu 3 1

Add to Reading List

Source URL: www.temjournal.com

Language: English - Date: 2016-05-26 17:08:38
32Abstract data types / Concurrency control / Scheduling algorithms / Operations research / Computing / Concurrent computing / Business / Queue / Double-ended queue / FIFO / Scheduling / Non-blocking algorithm

Distributed Queues in Shared Memory Multicore Performance and Scalability through Quantitative Relaxation Andreas Haas Thomas A. Henzinger

Add to Reading List

Source URL: www.cs.uni-salzburg.at

Language: English
33Concurrent computing / Distributed computing / Software / Berkeley Open Infrastructure for Network Computing / Volunteer computing / Grid computing / Climateprediction.net / NC / BitTorrent / SETI@home / Algorithm

Distributed Asymmetric Verification in Computational Grids Michael Kuhn, Stefan Schmid, Roger Wattenhofer Computer Engineering and Networks Laboratory (TIK) ETH Zurich CH-8092 Zurich, Switzerland

Add to Reading List

Source URL: disco.ethz.ch

Language: English - Date: 2014-09-26 08:36:29
34Theoretical computer science / Logic in computer science / Formal methods / Software engineering / Formal verification / Refinement / Linearizability / Correctness / Operational semantics / Semantics / Concurrency / Algorithm

University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications

Add to Reading List

Source URL: staff.ustc.edu.cn

Language: English - Date: 2015-04-24 09:43:54
35Programming paradigms / Concurrent programming languages / Computer architecture / Parallel computing / Visual programming languages / Flow-based programming / Dataflow / Transmission Control Protocol / Actor model / Concurrent computing / Algorithm / Traffic flow

Dynamic Development Support for Highly Concurrent Programs in the Ohua Data Flow Engine Sebastian Ertel Michael J. Beckerle

Add to Reading List

Source URL: lame2013.dei.uc.pt

Language: English - Date: 2013-06-28 07:40:32
36Concurrency control / Software transactional memory / Compare-and-swap / Non-blocking algorithm / ABA problem / Monitor / Hazard pointer / Lock / Load-link/store-conditional / Linearizability / Mutual exclusion / Thread safety

Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , .

Add to Reading List

Source URL: pirkelbauer.com

Language: English - Date: 2011-11-03 23:34:26
37Parallel computing / Concurrent programming languages / HTML / HTML Application / Internet Explorer / Fortran / Automatic parallelization / Matrix multiplication algorithm / NAS Parallel Benchmarks / XC / Array programming / Speedup

The Hierarchically Tiled Arrays Programming Approach ∗ Basilio B. Fraguela† , Jia Guo, Ganesh Bikshandi, Mar´ıa J. Garzar´ an, Gheorghe Alm´ asi‡ , Jos´ e Moreira‡ , and David Padua

Add to Reading List

Source URL: www.des.udc.es

Language: English - Date: 2005-02-24 02:59:56
38Concurrency control / Transaction processing / Linearizability / Algorithm / Concurrent computing / Parallel computing

A Constructive Approach for Proving Data Structures’ Linearizability ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1

Add to Reading List

Source URL: webee.technion.ac.il

Language: English - Date: 2015-08-17 06:31:40
39Concurrency control / Linearizability / Non-blocking algorithm / Hazard pointer / Compare-and-swap / Lock / Monitor / Reference counting / Mutual exclusion / File locking / Concurrent data structure / Standard Template Library

Lock-free Dynamically Resizable Arrays Damian Dechev, Peter Pirkelbauer, and Bjarne Stroustrup Texas A&M University College Station, TX {dechev, peter.pirkelbauer}@tamu.edu,

Add to Reading List

Source URL: pirkelbauer.com

Language: English - Date: 2011-11-03 23:35:23
40Parallel computing / Concurrency control / MapReduce / Thread / Data-intensive computing / CPU cache / Non-blocking algorithm / Concurrent data structure / Synchronization / Cray MTA / Lock / Linearizability

Automatic Contention Detection and Amelioration for Data-Intensive Operations John Cieslewicz∗, Kenneth A. Ross†, Kyoho Satsumi, Yang Ye Department of Computer Science, Columbia University, New York NY (johnc,kar,ye

Add to Reading List

Source URL: event.cwi.nl

Language: English - Date: 2010-08-10 12:02:01
UPDATE